Hoare logic

Qualität:

Hoare-Kalkül - formales System, um die Korrektheit von Programmen nachzuweisen. Artikel "Hoare logic" in der englischen Wikipedia hat 37.7 Punkte für Qualität (Stand 1. August 2024). Der Artikel enthält 11 Referenzen und 15 Abschnitte.

In dieser Sprachversion von Wikipedia hat der Artikel die beste Qualität. Außerdem ist dieser Artikel in dieser Sprachversion der beliebteste.

Seit der Erstellung des Artikels "Hoare logic" wurde sein Inhalt von 94 registrierten Benutzern der englischen Wikipedia verfasst und von 358 registrierten Wikipedia-Benutzern in allen Sprachen bearbeitet.

Der Artikel wird 75 Mal in der englischen Wikipedia zitiert und in allen Sprachen 246 Mal zitiert.

Der höchste Autoreninteresse-Rang aus dem Jahr 2001:

  • Lokales (Englische): Nr. 7178 im Februar 2003
  • Globales: Nr. 12455 im Februar 2003

Der höchste Beliebtheitsrang aus dem Jahr 2008:

  • Lokales (Englische): Nr. 113075 im Juli 2015
  • Globales: Nr. 166952 im Juli 2015

Es gibt 15 Sprachversionen für diesen Artikel in der WikiRank-Datenbank (von den berücksichtigten 55 Wikipedia-Sprachausgaben).

Die Qualitäts- und Beliebtheitsbewertung basierte auf Wikipedia-Dumps vom 1. August 2024 (einschließlich Revisionsverlauf und Seitenaufrufe für frühere Jahre).

Die folgende Tabelle zeigt die Sprachversionen des Artikels mit der höchsten Qualität.

Sprachen mit höchster Qualität

#SpracheQualitätsstufeQualitätsfaktor
1Englische (en)
Hoare logic
37.705
2Deutsche (de)
Hoare-Kalkül
34.9948
3Koreanische (ko)
호어 논리
25.3565
4Chinesische (zh)
霍尔逻辑
24.3216
5Ukrainische (uk)
Логіка Гоара
22.6963
6Japanische (ja)
ホーア論理
20.8089
7Portugiesische (pt)
Lógica de Hoare
20.0307
8Französische (fr)
Logique de Hoare
19.256
9Russische (ru)
Логика Хоара
18.501
10Vietnamesische (vi)
Luận lý Hoare
17.16
Mehr...

Die folgende Tabelle zeigt die beliebtesten Sprachversionen des Artikels.

Zu allen Zeiten am beliebtesten

Die beliebtesten Sprachversionen des Artikels "Hoare logic" aller Zeiten
#SpracheBeliebtheitspreisRelative Beliebtheit
1Englische (en)
Hoare logic
749 773
2Deutsche (de)
Hoare-Kalkül
168 753
3Russische (ru)
Логика Хоара
68 371
4Französische (fr)
Logique de Hoare
63 825
5Japanische (ja)
ホーア論理
52 902
6Chinesische (zh)
霍尔逻辑
39 539
7Spanische (es)
Lógica de Hoare
29 502
8Polnische (pl)
Logika Hoare’a
22 976
9Italienische (it)
Logica di Hoare
22 668
10Portugiesische (pt)
Lógica de Hoare
11 574
Mehr...

Die folgende Tabelle zeigt die Sprachversionen des Artikels mit der höchsten Popularität im letzten Monat.

Am beliebtesten im Juli 2024

Die beliebtesten Sprachversionen des Artikels "Hoare logic" im Juli 2024
#SpracheBeliebtheitspreisRelative Beliebtheit
1Englische (en)
Hoare logic
2 874
2Deutsche (de)
Hoare-Kalkül
395
3Japanische (ja)
ホーア論理
246
4Russische (ru)
Логика Хоара
188
5Chinesische (zh)
霍尔逻辑
131
6Französische (fr)
Logique de Hoare
122
7Spanische (es)
Lógica de Hoare
70
8Italienische (it)
Logica di Hoare
61
9Portugiesische (pt)
Lógica de Hoare
32
10Koreanische (ko)
호어 논리
25
Mehr...

Die folgende Tabelle zeigt die Sprachversionen des Artikels mit dem höchsten Autoren Interesse.

Höchstes AI

Sprachversionen des Artikels "Hoare logic" mit der höchsten AI. Gezählt wurden nur registrierte Wikipedia-Nutzer.
#SpracheAI-AuszeichnungRelativer AI
1Englische (en)
Hoare logic
94
2Deutsche (de)
Hoare-Kalkül
60
3Französische (fr)
Logique de Hoare
42
4Italienische (it)
Logica di Hoare
28
5Niederländische (nl)
Hoarelogica
25
6Chinesische (zh)
霍尔逻辑
18
7Ukrainische (uk)
Логіка Гоара
17
8Polnische (pl)
Logika Hoare’a
16
9Japanische (ja)
ホーア論理
15
10Russische (ru)
Логика Хоара
15
Mehr...

Die folgende Tabelle zeigt die Sprachversionen des Artikels mit dem höchsten Autoren Interesse im letzten Monat.

Die höchste AI im Juli 2024

Sprachversionen des Artikels "Hoare logic" mit der höchsten AI im Juli 2024
#SpracheAI-AuszeichnungRelativer AI
1Französische (fr)
Logique de Hoare
2
2Russische (ru)
Логика Хоара
1
3Deutsche (de)
Hoare-Kalkül
0
4Englische (en)
Hoare logic
0
5Spanische (es)
Lógica de Hoare
0
6Italienische (it)
Logica di Hoare
0
7Japanische (ja)
ホーア論理
0
8Koreanische (ko)
호어 논리
0
9Niederländische (nl)
Hoarelogica
0
10Polnische (pl)
Logika Hoare’a
0
Mehr...

Die folgende Tabelle zeigt die Sprachversionen des Artikels mit der höchsten Anzahl an Zitaten.

Der höchste Zitierindex

Sprachversionen des Artikels "Hoare logic" mit dem höchsten Zitatindex (ZI)
#SpracheZI-AuszeichnungRelativer ZI
1Englische (en)
Hoare logic
75
2Japanische (ja)
ホーア論理
20
3Deutsche (de)
Hoare-Kalkül
19
4Französische (fr)
Logique de Hoare
19
5Chinesische (zh)
霍尔逻辑
19
6Spanische (es)
Lógica de Hoare
18
7Ukrainische (uk)
Логіка Гоара
15
8Russische (ru)
Логика Хоара
14
9Niederländische (nl)
Hoarelogica
12
10Italienische (it)
Logica di Hoare
11
Mehr...

Partituren

Geschätzter Wert für Wikipedia:
Englische:
Global:
Beliebtheit im Juli 2024:
Englische:
Global:
Beliebtheit in allen Jahren:
Englische:
Global:
Autoren im Juli 2024:
Englische:
Global:
Registrierte Autoren im alle Jahre:
Englische:
Global:
Zitate:
Englische:
Global:

Qualitätsmaßnahmen

Internationalisierung

#SpracheWert
deDeutsche
Hoare-Kalkül
enEnglische
Hoare logic
esSpanische
Lógica de Hoare
frFranzösische
Logique de Hoare
itItalienische
Logica di Hoare
jaJapanische
ホーア論理
koKoreanische
호어 논리
nlNiederländische
Hoarelogica
plPolnische
Logika Hoare’a
ptPortugiesische
Lógica de Hoare
ruRussische
Логика Хоара
skSlowakische
Hoareova logika
ukUkrainische
Логіка Гоара
viVietnamesische
Luận lý Hoare
zhChinesische
霍尔逻辑

Beliebtheitsranking-Trends

Bester Rang Englische:
Nr. 113075
07.2015
Global:
Nr. 166952
07.2015

Ranking-Trends bei Autoreninteressen

Bester Rang Englische:
Nr. 7178
02.2003
Global:
Nr. 12455
02.2003

Lokaler AI-Rangverlauf

Sprachvergleich

Wichtige globale Zusammenhänge

Kumulierte Ergebnisse zu Qualität und Beliebtheit des Wikipedia-Artikels

Liste der Wikipedia-Artikel in verschiedenen Sprachen (beginnend mit den beliebtesten):

Neuigkeiten vom 26. Oktober 2024

Am 26. Oktober 2024 lesen Internetnutzer in der mehrsprachigen Wikipedia am häufigsten Artikel zu folgenden Themen: Ilia Topuria, Lyle und Erik Menendez, Hansi Flick, Venom: The Last Dance, El Clásico, Präsidentschaftswahl in den Vereinigten Staaten 2024, Khamzat Chimaev, BRICS, Max Holloway, Shohei Otani.

In der englischen Wikipedia waren die beliebtesten Artikel an diesem Tag: Freddie Freeman, Rodney Alcala, UFC 308, Venom: The Last Dance, Fernando Valenzuela, Woman of the Hour, Ilia Topuria, Lyle and Erik Menéndez, Deaths in 2024, Phil Lesh.

Informationen zu WikiRank

Das Projekt dient der automatischen relativen Auswertung der Artikel in den verschiedenen Sprachversionen von Wikipedia. Derzeit ermöglicht der Dienst den Vergleich von über 44 Millionen Wikipedia-Artikeln in 55 Sprachen. Die Qualitätsbewertung von Artikeln basiert auf Wikipedia-Dumps vom August 2024. Bei der Berechnung der aktuellen Popularität und des Interesses der Autoren an Artikeln wurden Daten vom Juli 2024 berücksichtigt. Für historische Werte der Popularität und des Autoreninteresses verwendete WikiRank Daten von 2001 bis 2023... Mehr Informationen